#!/bin/sh
rm nachos.conf
cp nachos-priority.conf nachos.conf
